% Ejercicio "if-then-elseif en MODULA-2"
\subsection*{\fbox{\theejercicio} - {\tt if-then-elseif} en MODULA-2}

Sea el subconjunto del lenguaje de programaci\'on MODULA-2, compuesto por sentencias de asignaci\'on y sentencias condicionales, como por ejemplo las siguientes:

\begin{minipage}[h]{6.5cm}
\begin{center}
\begin{tabular}{|l|} \hline
{\tt IF} {\em Condici\'on} \\
\verb@   THEN@             \\
\verb@      alfa:=1;@      \\
\verb@      beta:=2@       \\
\verb@   ELSE@             \\
\verb@      alfa:=3@       \\
{\tt END}                  \\ \hline
\end{tabular}
\end{center}
\end{minipage}
\   \
\hfill \begin{minipage}[h]{6.5cm}
\begin{tabular}{|l|} \hline
{\tt IF} {\em Condici\'on}         \\
\verb@   THEN@                     \\
\verb@      alfa:=5;@              \\
\verb@      IF@ {\em Condici\'on}  \\
\verb@          THEN@              \\
\verb@            alfa:=4@         \\
\verb@          END@               \\
\verb@      beta:=6@               \\
\verb@   ELSEIF@ {\em Condici\'on} \\
\verb@      THEN@                  \\
\verb@         beta:=7@            \\
{\tt END}                          \\ \hline
\end{tabular}

\smallskip

\begin{tabular}{|l|} \hline
{\tt IF} {\em Condici\'on}            \\
\verb@   THEN@                        \\
\verb@      alfa:=4@                  \\
\verb@   ELSEIF@ {\em Condici\'on}    \\
\verb@      THEN@                     \\
\verb@         alfa:=5;@              \\
\verb@         beta:=5@               \\
\verb@      ELSEIF@ {\em Condici\'on} \\
\verb@         THEN@                  \\
\verb@            beta:=6@            \\
\verb@         ELSE@                  \\
\verb@            alfa:=7;@           \\
\verb@            alfa:=7;@           \\
\verb@            gamma:=7@           \\
{\tt END}                             \\ \hline
\end{tabular}
\end{minipage}

\begin{enumerate}[1)]
\item Hallar una gram\'atica de contexto libre capaz de generar este subconjunto del lenguaje.
\item Hallar una gram\'atica LL(1) equivalente a la anterior y construir para ella la tabla de an\'alisis sint\'actico correspondiente.
\end{enumerate}

NOTA: Se considera sin desarrollar el s\'{\i}mbolo {\em Condici\'on},  que por tanto deber\'a tratarse como un s\'{\i}mbolo terminal de la gram\'atica en ambos apartados.

% Solución del ejercicio
\subsubsection*{SOLUCI\'ON}




